The exact completion for regular categories enriched in posets

We construct the exact completion for regular categories enriched in cartesian closed category Pos of partially ordered sets and monotone functions by employing a suitable calculus relations. then characterize embedding any into its use this to obtain examples concrete which arise as such completions. In particular, we prove that sense both Stone Priestley spaces is compact L. Nachbin. Finally, consider relationship between internal posets ordinary categories.